DUGi: Llistar Títols | dc.subject:"Demostració"

Llistar Títols

S'han trobat 10 ítems

Llistant ítems des de 0 a 10:

Format	Data	Títol	Autor
Format	Data	Títol	Autor
		Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers	Ansótegui, Carlos ; Bofill Arasa, Miquel ; Manyà, Felip ; Villaret i Ausellé, Mateu
	1 juny 2016	Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers	Ansótegui, Carlos ; Bofill Arasa, Miquel ; Manyà, Felip ; Villaret i Ausellé, Mateu
		Fuzzy XPath for the automatic search of fuzzy formulae models	Almendros-Jimenez, Jesùs M. ; Bofill Arasa, Miquel ; Luna-Tedesqui, Alejandro ; Moreno, Ginès ; Vàzquez, Carlos ; Villaret i Ausellé, Mateu
	1 gener 2015	Fuzzy XPath for the automatic search of fuzzy formulae models	Almendros-Jiménez, Jesús M. ; Bofill Arasa, Miquel ; Luna-Tedesqui, Alejandro ; Moreno, Ginès ; Vàzquez, Carlos ; Villaret i Ausellé, Mateu
	21 juliol 2017	Robot learning applied to autonomous underwater vehicles for intervention tasks	Carrera Viñas, Arnau
		Robot learning applied to autonomous underwater vehicles for intervention tasks	Carrera Viñas, Arnau
		Robot learning applied to autonomous underwater vehicles for intervention tasks	Carrera Viñas, Arnau
		Robot learning applied to autonomous underwater vehicles for intervention tasks	Carrera Viñas, Arnau
	17 març 2017	Sistema d’ajut a la decisió per la selecció de sistemes de sanejament	Castillo Llorens, Alba
		Sistema d’ajut a la decisió per la selecció de sistemes de sanejament	Castillo Llorens, Alba